Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
81	Finitary functors: from Set to Preord and Poset Adriana Balan1 1 University Alexander Kurz2 Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-10-04 15:56:08 Adjoint functors Functor Limit Finitary Partially ordered set Lifting theory Structure Mathematical analysis Mathematics Order theory
82	A Gentle Introduction to Category Theory — the calculational approach — Maarten M. Fokkinga Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 13:02:53 Category Morphism Adjoint functors Equivalence of categories Limit Sheaf Product Natural transformation Functor Category theory Abstract algebra Mathematics
83	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
84	Hopf-Algebras and Coalgebras in ∞-Categories Jonathan Beardsley January 20, 2015 Contents 1 Fibrations of Simplicial Sets Add to Reading List Source URL: math.jhu.edu Language: English - Date: 2015-01-20 21:00:54 Monoidal categories Monoidal functor Monoid PRO Operad theory Functor Braided monoidal category Adjoint functors Coproduct Category theory Algebra Abstract algebra
85	Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:56 Adjoint functors Functional programming Models of computation Functional languages Monad Kleisli category Denotational semantics List comprehension Strong monad Software engineering Computing Computer programming
86	PDF Document Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2012-03-22 19:10:07 Category theory Recursion Functional programming Adjoint functors Programming idioms F-coalgebra Anamorphism Monad Variety Computer programming Software engineering Computing
87	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Extended Version Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2013-08-05 06:28:09 Computer programming Functional programming Control flow Monad Central processing unit Parallel computing Scheduling Futures and promises Thread Computing Software engineering Adjoint functors
88	Equivalence Policy in Regard to IWS Qualifications When ILS equivalence has not been defined or does not exist in regard to other Swimming or Life Saving Federations, then the following guidelines for assessing equivalen Add to Reading List Source URL: www.iws.ie Language: English - Date: 2013-06-06 10:23:58 Adjoint functors Category theory Equivalence of categories
89	Lightweight Monadic Programming in ML Nikhil Swamy⋆ ⋆ Nataliya Guts† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-06-30 10:53:02 Mathematics Computer programming Type theory Monad Admissible rule Type class Valuation Denotational semantics Adjoint functors Functional programming Software engineering
90	A demo of Coco: a compiler for monadic coercions in ML Nataliya Guts† † Michael Hicks† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-08-29 10:40:12 Type theory Data types Functional languages Functional programming Adjoint functors Monad Type class OCaml ML Software engineering Computing Computer programming

UPDATE